1741. Verification of digital and hybrid systems
پدیدآورنده : edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
1742. Verified software :
پدیدآورنده : Ruzica Piskac, Philipp Rümmer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
1743. Verified software
پدیدآورنده : / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd
رده :
QA
,
76
.
76
,.
V47
,
V59
,
2010
1744. Verified software: theories, tools, experiments
پدیدآورنده : Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
V73
2012eb
1745. Vision, modeling, and visualization 2000
پدیدآورنده :
کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع : Visual programming (Computer science)- Congresses,Vision- Data processing- Congresses,Visualization- Data processing- Congresses,Object-oriented programming (Computer science)- Congresses
رده :
QA76
.
65
.
I5
2000
1746. Visualization in programming : 5th Interdisciplinary Workshop in Informatics and Psychology, Schعrding, Austria, May 20-23, 1986
پدیدآورنده : P. Gorny, M.J. Tauber )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
282
1747. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
1748. Web Information Systems and Technologies :
پدیدآورنده : José Cordeiro, Joaquim Filipe (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence (incl. Robotics),Business Information Systems.,Computer Appl. in Administrative Data Processing.,Computer Science.,e-Commerce/e-business.,Information Systems Applications (incl. Internet),Application software-- Development.,Informatique.,Internet.,World Wide Web.
رده :
TK5105
.
875
.
I57
I58
2010
1749. Web Reasoning and Rule Systems
پدیدآورنده : \ Balder ten Cate , Alessandra Mileo (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantic Web -- Congresses.,Rule-based programming -- Congresses.,Logic programming -- Congresses.,وب معناشناختی-- کنگره‌ها ,برنامه‌نویسی مبتنی بر قواعد -- کنگره ها ,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
TK
5105
.
88815
.
W4
2015
E-Book
,
1750. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
1751. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
1752. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1753. Web services -- ICWS 2019 :
پدیدآورنده : John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
رده :
TK5105
.
88813
1754. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
1755. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
1756. Wildbad im schwarzwald, Ger.,1974
پدیدآورنده : / Programming methodology. 4th informatik symposium, IBM Germany wildbad sept. 25-27,1974 Edited by Clemens E.Hackl
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Programming (Electronic computers) - Congresses
رده :
001
.
642
I43p
1974
1757. based distributed systems-Formal methods for open object
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; Congresses. ; -Electronic data processing ; Distributed processing ; Congresses. ; Object
1758. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995
پدیدآورنده : DAvid Pitt,David E.Rydehead,Peter Johnstone,eds
کتابخانه: (کرمان)
موضوع : computer programming--congresses,categories)mathematics(-congreses
رده :
QA
76
.
6
.
B53
1995
1759. concurrency theory-Concur 2008
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Parallel processing (Electronic computers) ; Congresses. ; Parallel programming (Computer science) ;
